информационные системы верификации программ

См. также в других словарях:

• ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …   Словарь-справочник терминов нормативно-технической документации

• данные — 3.4 данные (data): Совокупность значений, присвоенных для основных мер измерений, производных мер измерений и (или) показателей. [ИСО/МЭК 15939:2007] Источник …   Словарь-справочник терминов нормативно-технической документации

• система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

• Управление — 2 Управление Совокупность целенаправленных действий, включающая оценку ситуации и состояние объекта управления Выбор управляющих воздействий и их реализация (ГОСТ 34.003 90). Применительно к персоналу (как объекту управления) под управлением… …   Словарь-справочник терминов нормативно-технической документации

• Шалыто, Анатолий Абрамович — Анатолий Абрамович Шалыто Дата рождения: 28 мая 1948(1948 05 28) (64 года) Место рождения: Ленинград Страна …   Википедия

• Шалыто — Шалыто, Анатолий Абрамович Анатолий Абрамович Шалыто Дата рождения: 28 мая 1948(1948 05 28) (61 год) Место рождения: Ленинград Гражданство …   Википедия

• Шалыто, Анатолий — Анатолий Абрамович Шалыто Дата рождения: 28 мая 1948 г. Место рождения: Ленинград Гражданство: Российская Федерация Научная сфера: Автоматное программирование Место работы: СПбГУ ИТМО …   Википедия

• Шалыто Анатолий Абрамович — Анатолий Абрамович Шалыто Дата рождения: 28 мая 1948 г. Место рождения: Ленинград Гражданство: Российская Федерация Научная сфера: Автоматное программирование Место работы: СПбГУ ИТМО …   Википедия

• Мультикор — (англ. Multicore)  семейство сигнальных микропроцессоров, разработанное на российском предприятии ГУП НПЦ «Электронные Вычислительно Информационные Системы» (ГУП НПЦ «ЭЛВИС»). Микропроцессоры имеют несимметричную многоядерную… …   Википедия

• ПРОГРАММА — 5.4.16. ПРОГРАММА Данные, предназначенные для управления конкретными компонентами системы обработки информации в целях реализации определенного алгоритма ГОСТ 19781 Источник: РМ 4 239 91: Системы автоматизации. Словарь справочник по терминам.… …   Словарь-справочник терминов нормативно-технической документации

• верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник …   Словарь-справочник терминов нормативно-технической документации